321. Mathematical logic, the theory of algorithms and the theory of sets : dedicated to Academician Petr sergeevic Novikov on his seventieth birthday
پدیدآورنده : edited by S. I. Adjan
کتابخانه: (طهران)
موضوع : Addresses, essays, lectures ، Logic, Symbolic and mathematical,Addresses, essays, lectures ، Algorithms,Addresses, essays, lectures ، Set theory
رده :
QA
1
.
P736
Vol
.
133
322. Mathematical logic with special reference to the natural number
پدیدآورنده : / [by] S. W. P. Steen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Logic, Symbolic and mathematical,Numbers, Natural
رده :
QA9
.
S736
323. Mathematical logic with special reference to the natural numbers
پدیدآورنده : Steen, Stourton William Peile
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Numbers, Natural
رده :
QA
9
.
S736
324. Mathematical logic with special reference to the natural numbers
پدیدآورنده : [by] S. W. P. Steen
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Numbers, Natural
325. Mathematical logic with special reference to the natural numbers
پدیدآورنده : Steen, Stourton William Peile
موضوع : ، Logic, Symbolic and mathematical,، Numbers, Natural
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
326. Mathematical problems from applied logic I :
پدیدآورنده : edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.
رده :
QA9
.
A1
M38
2006eb
327. Mathematical problems from applied logic I
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ;
328. Mathematical problems from applied logic : logics for the XXIst century
پدیدآورنده : edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M28
329. Mathematics of the 19th century: mathematical logic, algebra, number theory, probability theory
پدیدآورنده : edited by A. N. Kolmogorov, A. P. Yushkevich
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : History - 91th century ، Mathematics
رده :
QA
26
.
M27813
1992
330. Mathematics of the 19th century : mathematical logic, algebra, number theory, probability theory
پدیدآورنده : edited by A.N. Kolmogorov, A.P. Yushkevich
کتابخانه: (طهران)
موضوع : History -- 91th century ، Mathematics
رده :
QA
26
.
M2713
331. Mathematics of the 19th century : mathematical logic, algebra, number theory, probability theory
پدیدآورنده : edited by A.N. Kolmogorov, A.P. Yushkevich
کتابخانه: (طهران)
موضوع : History - 91th century ، Mathematics
رده :
QA
26
.
M27813
1992
332. Mathematics of the 19th century : mathematical logic, algebra, number theory, probability theory, Matematika XIX veka. English
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Mathematics-- History-- 91th century
رده :
QA
26
.
M27813
1992
333. Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium
پدیدآورنده : Walter A. Carnielli and Luiz Paulo de Alcantara
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L37
1985
334. Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985
پدیدآورنده : Latin-American Symposium on Mathematical Logic )7th: 5891: State University of Campinas(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic, Symbolic and mathematical-- Congresses
رده :
QA
9
.
A1
.
L37
1985
335. Methods & applications of mathematical logic:proceedings of the
پدیدآورنده :
کتابخانه: (طهران)
موضوع : LOGIC,SYMBOLIC & MATHEMATICAL-CONGRESSES
رده :
QA
9
.
A1
L37
1985
336. Methods in mathematical logic: proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983
پدیدآورنده :
موضوع : Congresses ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
337. Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983
پدیدآورنده : edited by C. A. Di Prisco
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
1130
338. Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983
پدیدآورنده : edited by C.A. Di Prisco
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
1
.
L4
v
.
1130
339. Methods in mathematical logic, proceedings of the 6th Latin American symposium an Mathematical Logic 1-6, 1983
پدیدآورنده : edited by C. A. Diprisco
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
1130
